Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
511	The Pāṇini Award 2015 At the 11th Biennial Conference in Albuquerque (August), the Association for Linguistic Typology will award its third Panini prize, for a grammar passed as a dissertation between January Add to Reading List Source URL: www.linguistic-typology.org Language: English - Date: 2014-11-17 04:10:27 Grammar Linguistics Humanities Literature Formal languages Pāṇini Vyakarana
512	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.cardse.net Language: English Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
513	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.stat.nus.edu.sg Language: English Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
514	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.hafro.is Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
515	Context-Free Languages and Pushdown Automata Jean-Michel Autebert1 , Jean Berstel2 , and Luc Boasson3 1 2 3 Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-04-11 04:05:34 Context-free language Linear grammar Context-free grammar Formal grammar Vector space Nested word Pushdown automaton Formal languages Algebra Mathematics
516	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
517	Formal Verication of Object Layout for C++ Multiple Inheritance Tahina Ramananandro1 1 INRIA Gabriel Dos Reis2 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2011-01-27 00:28:09 C programming language Procedural programming languages C++ Struct C++ classes ALGOL 68 C D Software engineering Programming language theory Computing
518	Jessie Plug-In Tutorial Frama-C version: Carbon Jessie plug-in version: 2.28 Claude Marché1,3 , Yannick Moy2,3 , Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Frama-C Formal methods Procedural programming languages Automated theorem proving Pointer Memory safety ALGOL 68 IP Computing Software engineering Computer programming
519	Building Abstract Syntax Trees with Coco/R Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2011-09-08 04:17:51 Formal languages Parsing Procedural programming languages Attribute grammar Compiler construction ECL programming language Expr JavaScript Find Computing Software engineering Software
520	Recursive Cellular Automata Invariant Sets Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:30:37 Discrete mathematics Theoretical computer science Formal languages Ergodic theory Subshift of finite type Shift space Recursively enumerable set Dynamical system Cellular automaton Combinatorics on words Mathematics Automata theory

UPDATE